Determinacy and Large Cardinals
نویسنده
چکیده
The principle of determinacy has been crucial to the study of definable sets of real numbers. This paper surveys some of the uses of determinacy, concentrating specifically on the connection between determinacy and large cardinals, and takes this connection further, to the level of games of length ω1. Mathematics Subject Classification (2000). 03E55; 03E60; 03E45; 03E15.
منابع مشابه
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview
We sketch a brief development of large cardinals as they apply to determinacy results and to inner model theory.
متن کاملDeterminacy for games ending at the first admissible relative to the play
Let o(κ) denote the Mitchell order of κ. We show how to reduce long games which run to the first ordinal admissible in the play, to iteration games on models with a cardinal κ so that (1) κ is a limit of Woodin cardinals; and (2) o(κ) = κ. We use the reduction to derive several optimal determinacy results on games which run to the first admissible in the play. Given a set C ⊂ R1 consider the fo...
متن کاملUltrafilters and Large Cardinals
This paper is a survey of basic large cardinal notions, and applications of large cardinal ultrafilters in forcing. The main application presented is the consistent failure of the singular cardinals hypothesis. Other applications are mentioned that involve variants of Prikry forcing, over models of choice and models of determinacy. My talk at the Ultramath conference was about ultrafilters and ...
متن کاملGames of Length Ω1
We prove determinacy for open length ω1 games. Going further we introduce, and prove determinacy for, a stronger class of games of length ω1, with payoff conditions involving the entire run, the club filter on ω1, and a sequence of ω1 disjoint stationary subsets of ω1. The determinacy proofs use an iterable model with a class of indiscernible Woodin cardinals, and we show that the games precise...
متن کاملCalculus on strong partition cardinals
The assumption of [HM] and our assumption here, the existence of a strong partition cardinal, is moderately special. On the one hand, it violates the Axiom of Choice and is not relatively consistent with ZF (unlike AC and its negation). On the other hand, under the Axiom of Determinacy (AD), such cardinals are abundant and consistent with countable choice and DC, the principle of Dependent Choi...
متن کامل